Computer arithmetic - PDFSEARCH.IO - Document Search Engine

Computer arithmetic
Results: 1849

#	Item
321	This article was originally published in a journal published by Elsevier, and the attached copy is provided by Elsevier for the author’s benefit and for the benefit of the author’s institution, for non-commercial res Add to Reading List Source URL: www.math.bas.bg Language: English - Date: 2009-01-04 08:49:01 Arithmetic Computer arithmetic Interval arithmetic Vector space Interval finite element Algebra Mathematics Numerical analysis
322	THE MPFR LIBRARY: ALGORITHMS AND PROOFS THE MPFR TEAM Contents 1. Notations and Assumptions 2. Error calculus Add to Reading List Source URL: www.mpfr.org Language: English - Date: 2009-06-22 08:55:19 Rounding Floating point MPFR Mathematics Computing Computer arithmetic Unit in the last place Numbers
323	14th IEEE Symposium on Computer Arithmetic (ARITH 14), Adelaide, Australia, AprilEfficient VLSI Implementation of Modulo 2n Add to Reading List Source URL: www.iis.ee.ethz.ch Language: English - Date: 2006-05-18 16:42:23 Abstract algebra Adders Modular arithmetic Digital circuits Binary arithmetic Carry-save adder Wallace tree Carry-select adder Carry-lookahead adder Computer arithmetic Arithmetic Mathematics
324	Linux Plumbers Conference Tracing Summit 2012 Interoperability Between Tracing Tools with the Common Trace Format (CTF) E-mail: Add to Reading List Source URL: www.efficios.com Language: English - Date: 2012-09-14 09:18:44 Debugging Computer arithmetic Integer LTTng Tracing Universally unique identifier Ip Computing Computer programming Software
325	CCCG 2007, Ottawa, Ontario, August 20–22, 2007 Experimental Evaluation of Structural Filtering as a Tool for Exact and Efficient Geometric Computing Stefan N¨ aher Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-28 21:24:03 Computer arithmetic Computing Algorithm Mathematical logic Theoretical computer science Quicksort Floating point Sweep line algorithm Insertion sort Mathematics Sorting algorithms Order theory
326	Linear systems with large uncertainties, with applications to truss structures Arnold Neumaier Fakult¨at f¨ ur Mathematik, Universit¨at Wien Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2006-01-31 04:51:25 Arithmetic Computer arithmetic Interval arithmetic Support Numerical analysis Measure theory Mathematics
327	Presburger Arithmetic and Pseudo-Recursive Saturation David Llewellyn-Jones School of Mathematics and Statistics The University of Birmingham Edgbaston, Birmingham, B15 2TT, U.K. Add to Reading List Source URL: www.flypig.co.uk Language: English - Date: 2015-04-13 15:49:07 Logic in computer science Proof theory Mathematics Quantifier elimination Presburger arithmetic Mathematical logic Model theory Logic
328	CCCG 2007, Ottawa, Ontario, August 20–22, 2007 Efficient Snap Rounding with Integer Arithmetic Binay K. Bhattacharya∗ Abstract Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-28 21:28:15 Geometry Digital imaging Digital photography Pixel Television technology Line segment intersection Image processing Computer graphics Digital geometry
329	INTLAB References [1] M. Abulizi and P. Mahemuti. Interval Numbers and Interval Control System for Application. Journal of Xinjiang University (Science & Engineering, 22(2):165–190, 2005. http://scholar.ilib.cn/ abstra Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2012-12-10 06:20:06 Operations research Mathematical optimization Computational science Computer arithmetic Interval arithmetic Global optimization Linear programming Shape optimization Interval Mathematics Applied mathematics Numerical analysis
330	HexCalculator( a hexadecimal floating point calculator) This hexadecimal calculator is actually a floating point hexadecimal calculator . The Windows calculator has integer hexadecimal number processing capability also Add to Reading List Source URL: omidmotahed.com Language: English - Date: 2014-12-30 10:20:40 Computer file formats Hexadecimal Vector graphics markup languages Computer arithmetic Computer graphics Calculator Clipboard Binary file Paint Computing Binary arithmetic Graphics file formats

UPDATE